\section{Conclusions}
\begin{frame}{Conclusions}
\begin{itemize}
\item Software model checkers spend around half of their time garbage collecting.
\item To optimise this, Memoised Garbage Collection was introduced.
\item The MGC needs to traverse only a part of the heap.
\item Depending on the model and configurations performance gains of up to 78\% were reached.
\end{itemize}
\end{frame}
